<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><meta name="viewport" content="width=device-width, initial-scale=1" /><title>Data.Functor.Const</title><link href="linuwial.css" rel="stylesheet" type="text/css" title="Linuwial" /><link rel="stylesheet" type="text/css" href="quick-jump.css" /><link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=PT+Sans:400,400i,700" /><script src="haddock-bundle.min.js" async="async" type="text/javascript"></script><script type="text/x-mathjax-config">MathJax.Hub.Config({ tex2jax: { processClass: "mathjax", ignoreClass: ".*" } });</script><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"></script></head><body><div id="package-header"><span class="caption">base-4.15.1.0: Basic libraries</span><ul class="links" id="page-menu"><li><a href="src/Data.Functor.Const.html">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul></div><div id="content"><div id="module-header"><table class="info"><tr><th valign="top">Copyright</th><td>Conor McBride and Ross Paterson 2005</td></tr><tr><th>License</th><td>BSD-style (see the LICENSE file in the distribution)</td></tr><tr><th>Maintainer</th><td>libraries@haskell.org</td></tr><tr><th>Stability</th><td>experimental</td></tr><tr><th>Portability</th><td>portable</td></tr><tr><th>Safe Haskell</th><td>Trustworthy</td></tr><tr><th>Language</th><td>Haskell2010</td></tr></table><p class="caption">Data.Functor.Const</p></div><div id="description"><p class="caption">Description</p><div class="doc empty">&nbsp;</div></div><div id="synopsis"><details id="syn"><summary>Synopsis</summary><ul class="details-toggle" data-details-id="syn"><li class="src short"><span class="keyword">newtype</span> <a href="#t:Const">Const</a> a b = <a href="#v:Const">Const</a> {<ul class="subs"><li><a href="#v:getConst">getConst</a> :: a</li></ul>}</li></ul></details></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">newtype</span> <a id="t:Const" class="def">Const</a> a b <a href="src/Data.Functor.Const.html#Const" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></p><div class="doc"><p>The <code><a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a></code> functor.</p></div><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a id="v:Const" class="def">Const</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><div class="subs fields"><p class="caption">Fields</p><ul><li><dfn class="src"><a id="v:getConst" class="def">getConst</a> :: a</dfn><div class="doc empty">&nbsp;</div></li></ul></div></td></tr></table></div><div class="subs instances"><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Const">Instances</h4><details id="i:Const" open="open"><summary class="hide-when-js-enabled">Instances details</summary><table><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Generic1:1"></span> <a href="GHC-Generics.html#t:Generic1" title="GHC.Generics">Generic1</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a :: k -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Const.html#line-48" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Const:Generic1:1"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="GHC-Generics.html#t:Rep1" title="GHC.Generics">Rep1</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a) :: k -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> <a href="src/GHC.Generics.html#Rep1" class="link">Source</a> <a href="#t:Rep1" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from1">from1</a> :: <span class="keyword">forall</span> (a0 :: k0). <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0 -&gt; <a href="GHC-Generics.html#t:Rep1" title="GHC.Generics">Rep1</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a) a0 <a href="src/GHC.Generics.html#from1" class="link">Source</a> <a href="#v:from1" class="selflink">#</a></p><p class="src"><a href="#v:to1">to1</a> :: <span class="keyword">forall</span> (a0 :: k0). <a href="GHC-Generics.html#t:Rep1" title="GHC.Generics">Rep1</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a) a0 -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0 <a href="src/GHC.Generics.html#to1" class="link">Source</a> <a href="#v:to1" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Bifoldable:2"></span> <a href="Data-Bifoldable.html#t:Bifoldable" title="Data.Bifoldable">Bifoldable</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Bifoldable.html#line-229" class="link">Source</a> <a href="#t:Bifoldable" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.10.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Bifoldable:2"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Bifoldable.html">Data.Bifoldable</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bifold">bifold</a> :: <a href="Data-Monoid.html#t:Monoid" title="Data.Monoid">Monoid</a> m =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m m -&gt; m <a href="src/Data.Bifoldable.html#bifold" class="link">Source</a> <a href="#v:bifold" class="selflink">#</a></p><p class="src"><a href="#v:bifoldMap">bifoldMap</a> :: <a href="Data-Monoid.html#t:Monoid" title="Data.Monoid">Monoid</a> m =&gt; (a -&gt; m) -&gt; (b -&gt; m) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; m <a href="src/Data.Bifoldable.html#bifoldMap" class="link">Source</a> <a href="#v:bifoldMap" class="selflink">#</a></p><p class="src"><a href="#v:bifoldr">bifoldr</a> :: (a -&gt; c -&gt; c) -&gt; (b -&gt; c -&gt; c) -&gt; c -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; c <a href="src/Data.Bifoldable.html#bifoldr" class="link">Source</a> <a href="#v:bifoldr" class="selflink">#</a></p><p class="src"><a href="#v:bifoldl">bifoldl</a> :: (c -&gt; a -&gt; c) -&gt; (c -&gt; b -&gt; c) -&gt; c -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; c <a href="src/Data.Bifoldable.html#bifoldl" class="link">Source</a> <a href="#v:bifoldl" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Bifunctor:3"></span> <a href="Data-Bifunctor.html#t:Bifunctor" title="Data.Bifunctor">Bifunctor</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Bifunctor.html#line-148" class="link">Source</a> <a href="#t:Bifunctor" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.8.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Bifunctor:3"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Bifunctor.html">Data.Bifunctor</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bimap">bimap</a> :: (a -&gt; b) -&gt; (c -&gt; d) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a c -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> b d <a href="src/Data.Bifunctor.html#bimap" class="link">Source</a> <a href="#v:bimap" class="selflink">#</a></p><p class="src"><a href="#v:first">first</a> :: (a -&gt; b) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a c -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> b c <a href="src/Data.Bifunctor.html#first" class="link">Source</a> <a href="#v:first" class="selflink">#</a></p><p class="src"><a href="#v:second">second</a> :: (b -&gt; c) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a c <a href="src/Data.Bifunctor.html#second" class="link">Source</a> <a href="#v:second" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Bitraversable:4"></span> <a href="Data-Bitraversable.html#t:Bitraversable" title="Data.Bitraversable">Bitraversable</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Bitraversable.html#line-194" class="link">Source</a> <a href="#t:Bitraversable" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.10.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Bitraversable:4"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Bitraversable.html">Data.Bitraversable</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:bitraverse">bitraverse</a> :: <a href="Prelude.html#t:Applicative" title="Prelude">Applicative</a> f =&gt; (a -&gt; f c) -&gt; (b -&gt; f d) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; f (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> c d) <a href="src/Data.Bitraversable.html#bitraverse" class="link">Source</a> <a href="#v:bitraverse" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Eq2:5"></span> <a href="Data-Functor-Classes.html#t:Eq2" title="Data.Functor.Classes">Eq2</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Classes.html#line-611" class="link">Source</a> <a href="#t:Eq2" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Eq2:5"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Classes.html">Data.Functor.Classes</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftEq2">liftEq2</a> :: (a -&gt; b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a>) -&gt; (c -&gt; d -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a>) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a c -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> b d -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/Data.Functor.Classes.html#liftEq2" class="link">Source</a> <a href="#v:liftEq2" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Ord2:6"></span> <a href="Data-Functor-Classes.html#t:Ord2" title="Data.Functor.Classes">Ord2</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Classes.html#line-615" class="link">Source</a> <a href="#t:Ord2" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Ord2:6"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Classes.html">Data.Functor.Classes</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftCompare2">liftCompare2</a> :: (a -&gt; b -&gt; <a href="Data-Ord.html#t:Ordering" title="Data.Ord">Ordering</a>) -&gt; (c -&gt; d -&gt; <a href="Data-Ord.html#t:Ordering" title="Data.Ord">Ordering</a>) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a c -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> b d -&gt; <a href="Data-Ord.html#t:Ordering" title="Data.Ord">Ordering</a> <a href="src/Data.Functor.Classes.html#liftCompare2" class="link">Source</a> <a href="#v:liftCompare2" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Read2:7"></span> <a href="Data-Functor-Classes.html#t:Read2" title="Data.Functor.Classes">Read2</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Classes.html#line-619" class="link">Source</a> <a href="#t:Read2" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Read2:7"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Classes.html">Data.Functor.Classes</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftReadsPrec2">liftReadsPrec2</a> :: (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> a) -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> [a] -&gt; (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> b) -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> [b] -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/Data.Functor.Classes.html#liftReadsPrec2" class="link">Source</a> <a href="#v:liftReadsPrec2" class="selflink">#</a></p><p class="src"><a href="#v:liftReadList2">liftReadList2</a> :: (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> a) -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> [a] -&gt; (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> b) -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> [b] -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] <a href="src/Data.Functor.Classes.html#liftReadList2" class="link">Source</a> <a href="#v:liftReadList2" class="selflink">#</a></p><p class="src"><a href="#v:liftReadPrec2">liftReadPrec2</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> a -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> [a] -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> b -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> [b] -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/Data.Functor.Classes.html#liftReadPrec2" class="link">Source</a> <a href="#v:liftReadPrec2" class="selflink">#</a></p><p class="src"><a href="#v:liftReadListPrec2">liftReadListPrec2</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> a -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> [a] -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> b -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> [b] -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] <a href="src/Data.Functor.Classes.html#liftReadListPrec2" class="link">Source</a> <a href="#v:liftReadListPrec2" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Show2:8"></span> <a href="Data-Functor-Classes.html#t:Show2" title="Data.Functor.Classes">Show2</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Classes.html#line-627" class="link">Source</a> <a href="#t:Show2" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Show2:8"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Classes.html">Data.Functor.Classes</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftShowsPrec2">liftShowsPrec2</a> :: (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; a -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; ([a] -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; b -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; ([b] -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="src/Data.Functor.Classes.html#liftShowsPrec2" class="link">Source</a> <a href="#v:liftShowsPrec2" class="selflink">#</a></p><p class="src"><a href="#v:liftShowList2">liftShowList2</a> :: (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; a -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; ([a] -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; b -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; ([b] -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="src/Data.Functor.Classes.html#liftShowList2" class="link">Source</a> <a href="#v:liftShowList2" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Foldable:9"></span> <a href="Data-Foldable.html#t:Foldable" title="Data.Foldable">Foldable</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Const.html#line-78" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.7.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Foldable:9"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fold">fold</a> :: <a href="Data-Monoid.html#t:Monoid" title="Data.Monoid">Monoid</a> m0 =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m m0 -&gt; m0 <a href="src/Data.Foldable.html#fold" class="link">Source</a> <a href="#v:fold" class="selflink">#</a></p><p class="src"><a href="#v:foldMap">foldMap</a> :: <a href="Data-Monoid.html#t:Monoid" title="Data.Monoid">Monoid</a> m0 =&gt; (a -&gt; m0) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; m0 <a href="src/Data.Foldable.html#foldMap" class="link">Source</a> <a href="#v:foldMap" class="selflink">#</a></p><p class="src"><a href="#v:foldMap-39-">foldMap'</a> :: <a href="Data-Monoid.html#t:Monoid" title="Data.Monoid">Monoid</a> m0 =&gt; (a -&gt; m0) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; m0 <a href="src/Data.Foldable.html#foldMap%27" class="link">Source</a> <a href="#v:foldMap-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldr">foldr</a> :: (a -&gt; b -&gt; b) -&gt; b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; b <a href="src/Data.Foldable.html#foldr" class="link">Source</a> <a href="#v:foldr" class="selflink">#</a></p><p class="src"><a href="#v:foldr-39-">foldr'</a> :: (a -&gt; b -&gt; b) -&gt; b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; b <a href="src/Data.Foldable.html#foldr%27" class="link">Source</a> <a href="#v:foldr-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldl">foldl</a> :: (b -&gt; a -&gt; b) -&gt; b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; b <a href="src/Data.Foldable.html#foldl" class="link">Source</a> <a href="#v:foldl" class="selflink">#</a></p><p class="src"><a href="#v:foldl-39-">foldl'</a> :: (b -&gt; a -&gt; b) -&gt; b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; b <a href="src/Data.Foldable.html#foldl%27" class="link">Source</a> <a href="#v:foldl-39-" class="selflink">#</a></p><p class="src"><a href="#v:foldr1">foldr1</a> :: (a -&gt; a -&gt; a) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; a <a href="src/Data.Foldable.html#foldr1" class="link">Source</a> <a href="#v:foldr1" class="selflink">#</a></p><p class="src"><a href="#v:foldl1">foldl1</a> :: (a -&gt; a -&gt; a) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; a <a href="src/Data.Foldable.html#foldl1" class="link">Source</a> <a href="#v:foldl1" class="selflink">#</a></p><p class="src"><a href="#v:toList">toList</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; [a] <a href="src/Data.Foldable.html#toList" class="link">Source</a> <a href="#v:toList" class="selflink">#</a></p><p class="src"><a href="#v:null">null</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/Data.Foldable.html#null" class="link">Source</a> <a href="#v:null" class="selflink">#</a></p><p class="src"><a href="#v:length">length</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/Data.Foldable.html#length" class="link">Source</a> <a href="#v:length" class="selflink">#</a></p><p class="src"><a href="#v:elem">elem</a> :: <a href="Data-Eq.html#t:Eq" title="Data.Eq">Eq</a> a =&gt; a -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/Data.Foldable.html#elem" class="link">Source</a> <a href="#v:elem" class="selflink">#</a></p><p class="src"><a href="#v:maximum">maximum</a> :: <a href="Data-Ord.html#t:Ord" title="Data.Ord">Ord</a> a =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; a <a href="src/Data.Foldable.html#maximum" class="link">Source</a> <a href="#v:maximum" class="selflink">#</a></p><p class="src"><a href="#v:minimum">minimum</a> :: <a href="Data-Ord.html#t:Ord" title="Data.Ord">Ord</a> a =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; a <a href="src/Data.Foldable.html#minimum" class="link">Source</a> <a href="#v:minimum" class="selflink">#</a></p><p class="src"><a href="#v:sum">sum</a> :: <a href="Prelude.html#t:Num" title="Prelude">Num</a> a =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; a <a href="src/Data.Foldable.html#sum" class="link">Source</a> <a href="#v:sum" class="selflink">#</a></p><p class="src"><a href="#v:product">product</a> :: <a href="Prelude.html#t:Num" title="Prelude">Num</a> a =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; a <a href="src/Data.Foldable.html#product" class="link">Source</a> <a href="#v:product" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Eq1:10"></span> <a href="Data-Eq.html#t:Eq" title="Data.Eq">Eq</a> a =&gt; <a href="Data-Functor-Classes.html#t:Eq1" title="Data.Functor.Classes">Eq1</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Classes.html#line-631" class="link">Source</a> <a href="#t:Eq1" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Eq1:10"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Classes.html">Data.Functor.Classes</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftEq">liftEq</a> :: (a0 -&gt; b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a>) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0 -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/Data.Functor.Classes.html#liftEq" class="link">Source</a> <a href="#v:liftEq" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Ord1:11"></span> <a href="Data-Ord.html#t:Ord" title="Data.Ord">Ord</a> a =&gt; <a href="Data-Functor-Classes.html#t:Ord1" title="Data.Functor.Classes">Ord1</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Classes.html#line-634" class="link">Source</a> <a href="#t:Ord1" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Ord1:11"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Classes.html">Data.Functor.Classes</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftCompare">liftCompare</a> :: (a0 -&gt; b -&gt; <a href="Data-Ord.html#t:Ordering" title="Data.Ord">Ordering</a>) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0 -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Ord.html#t:Ordering" title="Data.Ord">Ordering</a> <a href="src/Data.Functor.Classes.html#liftCompare" class="link">Source</a> <a href="#v:liftCompare" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Read1:12"></span> <a href="Text-Read.html#t:Read" title="Text.Read">Read</a> a =&gt; <a href="Data-Functor-Classes.html#t:Read1" title="Data.Functor.Classes">Read1</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Classes.html#line-637" class="link">Source</a> <a href="#t:Read1" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Read1:12"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Classes.html">Data.Functor.Classes</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftReadsPrec">liftReadsPrec</a> :: (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> a0) -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> [a0] -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0) <a href="src/Data.Functor.Classes.html#liftReadsPrec" class="link">Source</a> <a href="#v:liftReadsPrec" class="selflink">#</a></p><p class="src"><a href="#v:liftReadList">liftReadList</a> :: (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> a0) -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> [a0] -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0] <a href="src/Data.Functor.Classes.html#liftReadList" class="link">Source</a> <a href="#v:liftReadList" class="selflink">#</a></p><p class="src"><a href="#v:liftReadPrec">liftReadPrec</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> a0 -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> [a0] -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0) <a href="src/Data.Functor.Classes.html#liftReadPrec" class="link">Source</a> <a href="#v:liftReadPrec" class="selflink">#</a></p><p class="src"><a href="#v:liftReadListPrec">liftReadListPrec</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> a0 -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> [a0] -&gt; <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0] <a href="src/Data.Functor.Classes.html#liftReadListPrec" class="link">Source</a> <a href="#v:liftReadListPrec" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Show1:13"></span> <a href="Text-Show.html#t:Show" title="Text.Show">Show</a> a =&gt; <a href="Data-Functor-Classes.html#t:Show1" title="Data.Functor.Classes">Show1</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Classes.html#line-643" class="link">Source</a> <a href="#t:Show1" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Show1:13"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Classes.html">Data.Functor.Classes</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:liftShowsPrec">liftShowsPrec</a> :: (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; a0 -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; ([a0] -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0 -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="src/Data.Functor.Classes.html#liftShowsPrec" class="link">Source</a> <a href="#v:liftShowsPrec" class="selflink">#</a></p><p class="src"><a href="#v:liftShowList">liftShowList</a> :: (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; a0 -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; ([a0] -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a>) -&gt; [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0] -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="src/Data.Functor.Classes.html#liftShowList" class="link">Source</a> <a href="#v:liftShowList" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Contravariant:14"></span> <a href="Data-Functor-Contravariant.html#t:Contravariant" title="Data.Functor.Contravariant">Contravariant</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Contravariant.html#line-176" class="link">Source</a> <a href="#t:Contravariant" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Const:Contravariant:14"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Contravariant.html">Data.Functor.Contravariant</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:contramap">contramap</a> :: (a' -&gt; a0) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0 -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a' <a href="src/Data.Functor.Contravariant.html#contramap" class="link">Source</a> <a href="#v:contramap" class="selflink">#</a></p><p class="src"><a href="#v:-62--36-">(&gt;$)</a> :: b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a a0 <a href="src/Data.Functor.Contravariant.html#%3E%24" class="link">Source</a> <a href="#v:-62--36-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Traversable:15"></span> <a href="Data-Traversable.html#t:Traversable" title="Data.Traversable">Traversable</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Traversable.html#line-334" class="link">Source</a> <a href="#t:Traversable" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.7.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Traversable:15"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Traversable.html">Data.Traversable</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:traverse">traverse</a> :: <a href="Prelude.html#t:Applicative" title="Prelude">Applicative</a> f =&gt; (a -&gt; f b) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; f (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m b) <a href="src/Data.Traversable.html#traverse" class="link">Source</a> <a href="#v:traverse" class="selflink">#</a></p><p class="src"><a href="#v:sequenceA">sequenceA</a> :: <a href="Prelude.html#t:Applicative" title="Prelude">Applicative</a> f =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m (f a) -&gt; f (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a) <a href="src/Data.Traversable.html#sequenceA" class="link">Source</a> <a href="#v:sequenceA" class="selflink">#</a></p><p class="src"><a href="#v:mapM">mapM</a> :: <a href="Prelude.html#t:Monad" title="Prelude">Monad</a> m0 =&gt; (a -&gt; m0 b) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; m0 (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m b) <a href="src/Data.Traversable.html#mapM" class="link">Source</a> <a href="#v:mapM" class="selflink">#</a></p><p class="src"><a href="#v:sequence">sequence</a> :: <a href="Prelude.html#t:Monad" title="Prelude">Monad</a> m0 =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m (m0 a) -&gt; m0 (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a) <a href="src/Data.Traversable.html#sequence" class="link">Source</a> <a href="#v:sequence" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Applicative:16"></span> <a href="Data-Monoid.html#t:Monoid" title="Data.Monoid">Monoid</a> m =&gt; <a href="Prelude.html#t:Applicative" title="Prelude">Applicative</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Const.html#line-86" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-2.0.1</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Applicative:16"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pure">pure</a> :: a -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a <a href="src/GHC.Base.html#pure" class="link">Source</a> <a href="#v:pure" class="selflink">#</a></p><p class="src"><a href="#v:-60--42--62-">(&lt;*&gt;)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m (a -&gt; b) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m b <a href="src/GHC.Base.html#%3C%2A%3E" class="link">Source</a> <a href="#v:-60--42--62-" class="selflink">#</a></p><p class="src"><a href="#v:liftA2">liftA2</a> :: (a -&gt; b -&gt; c) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m c <a href="src/GHC.Base.html#liftA2" class="link">Source</a> <a href="#v:liftA2" class="selflink">#</a></p><p class="src"><a href="#v:-42--62-">(*&gt;)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m b <a href="src/GHC.Base.html#%2A%3E" class="link">Source</a> <a href="#v:-42--62-" class="selflink">#</a></p><p class="src"><a href="#v:-60--42-">(&lt;*)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a <a href="src/GHC.Base.html#%3C%2A" class="link">Source</a> <a href="#v:-60--42-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Functor:17"></span> <a href="Data-Functor.html#t:Functor" title="Data.Functor">Functor</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Const.html#line-82" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-2.1</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Functor:17"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fmap">fmap</a> :: (a -&gt; b) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m b <a href="src/GHC.Base.html#fmap" class="link">Source</a> <a href="#v:fmap" class="selflink">#</a></p><p class="src"><a href="#v:-60--36-">(&lt;$)</a> :: a -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> m a <a href="src/GHC.Base.html#%3C%24" class="link">Source</a> <a href="#v:-60--36-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Bits:18"></span> <a href="Data-Bits.html#t:Bits" title="Data.Bits">Bits</a> a =&gt; <a href="Data-Bits.html#t:Bits" title="Data.Bits">Bits</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-40" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Bits:18"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:.-38-.">(.&amp;.)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#.%26." class="link">Source</a> <a href="#v:.-38-." class="selflink">#</a></p><p class="src"><a href="#v:.-124-.">(.|.)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#.%7C." class="link">Source</a> <a href="#v:.-124-." class="selflink">#</a></p><p class="src"><a href="#v:xor">xor</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#xor" class="link">Source</a> <a href="#v:xor" class="selflink">#</a></p><p class="src"><a href="#v:complement">complement</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#complement" class="link">Source</a> <a href="#v:complement" class="selflink">#</a></p><p class="src"><a href="#v:shift">shift</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#shift" class="link">Source</a> <a href="#v:shift" class="selflink">#</a></p><p class="src"><a href="#v:rotate">rotate</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#rotate" class="link">Source</a> <a href="#v:rotate" class="selflink">#</a></p><p class="src"><a href="#v:zeroBits">zeroBits</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#zeroBits" class="link">Source</a> <a href="#v:zeroBits" class="selflink">#</a></p><p class="src"><a href="#v:bit">bit</a> :: <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#bit" class="link">Source</a> <a href="#v:bit" class="selflink">#</a></p><p class="src"><a href="#v:setBit">setBit</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#setBit" class="link">Source</a> <a href="#v:setBit" class="selflink">#</a></p><p class="src"><a href="#v:clearBit">clearBit</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#clearBit" class="link">Source</a> <a href="#v:clearBit" class="selflink">#</a></p><p class="src"><a href="#v:complementBit">complementBit</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#complementBit" class="link">Source</a> <a href="#v:complementBit" class="selflink">#</a></p><p class="src"><a href="#v:testBit">testBit</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/Data.Bits.html#testBit" class="link">Source</a> <a href="#v:testBit" class="selflink">#</a></p><p class="src"><a href="#v:bitSizeMaybe">bitSizeMaybe</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/Data.Bits.html#bitSizeMaybe" class="link">Source</a> <a href="#v:bitSizeMaybe" class="selflink">#</a></p><p class="src"><a href="#v:bitSize">bitSize</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/Data.Bits.html#bitSize" class="link">Source</a> <a href="#v:bitSize" class="selflink">#</a></p><p class="src"><a href="#v:isSigned">isSigned</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/Data.Bits.html#isSigned" class="link">Source</a> <a href="#v:isSigned" class="selflink">#</a></p><p class="src"><a href="#v:shiftL">shiftL</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#shiftL" class="link">Source</a> <a href="#v:shiftL" class="selflink">#</a></p><p class="src"><a href="#v:unsafeShiftL">unsafeShiftL</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#unsafeShiftL" class="link">Source</a> <a href="#v:unsafeShiftL" class="selflink">#</a></p><p class="src"><a href="#v:shiftR">shiftR</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#shiftR" class="link">Source</a> <a href="#v:shiftR" class="selflink">#</a></p><p class="src"><a href="#v:unsafeShiftR">unsafeShiftR</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#unsafeShiftR" class="link">Source</a> <a href="#v:unsafeShiftR" class="selflink">#</a></p><p class="src"><a href="#v:rotateL">rotateL</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#rotateL" class="link">Source</a> <a href="#v:rotateL" class="selflink">#</a></p><p class="src"><a href="#v:rotateR">rotateR</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Bits.html#rotateR" class="link">Source</a> <a href="#v:rotateR" class="selflink">#</a></p><p class="src"><a href="#v:popCount">popCount</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/Data.Bits.html#popCount" class="link">Source</a> <a href="#v:popCount" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:FiniteBits:19"></span> <a href="Data-Bits.html#t:FiniteBits" title="Data.Bits">FiniteBits</a> a =&gt; <a href="Data-Bits.html#t:FiniteBits" title="Data.Bits">FiniteBits</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-44" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:FiniteBits:19"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:finiteBitSize">finiteBitSize</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/Data.Bits.html#finiteBitSize" class="link">Source</a> <a href="#v:finiteBitSize" class="selflink">#</a></p><p class="src"><a href="#v:countLeadingZeros">countLeadingZeros</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/Data.Bits.html#countLeadingZeros" class="link">Source</a> <a href="#v:countLeadingZeros" class="selflink">#</a></p><p class="src"><a href="#v:countTrailingZeros">countTrailingZeros</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/Data.Bits.html#countTrailingZeros" class="link">Source</a> <a href="#v:countTrailingZeros" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Data:20"></span> (<a href="Data-Typeable.html#t:Typeable" title="Data.Typeable">Typeable</a> k, <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> a, <a href="Data-Typeable.html#t:Typeable" title="Data.Typeable">Typeable</a> b) =&gt; <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Data.html#line-1271" class="link">Source</a> <a href="#t:Data" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.10.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Data:20"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Data.html">Data.Data</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:gfoldl">gfoldl</a> :: (<span class="keyword">forall</span> d b0. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> d =&gt; c (d -&gt; b0) -&gt; d -&gt; c b0) -&gt; (<span class="keyword">forall</span> g. g -&gt; c g) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; c (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/Data.Data.html#gfoldl" class="link">Source</a> <a href="#v:gfoldl" class="selflink">#</a></p><p class="src"><a href="#v:gunfold">gunfold</a> :: (<span class="keyword">forall</span> b0 r. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> b0 =&gt; c (b0 -&gt; r) -&gt; c r) -&gt; (<span class="keyword">forall</span> r. r -&gt; c r) -&gt; <a href="Data-Data.html#t:Constr" title="Data.Data">Constr</a> -&gt; c (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/Data.Data.html#gunfold" class="link">Source</a> <a href="#v:gunfold" class="selflink">#</a></p><p class="src"><a href="#v:toConstr">toConstr</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Data.html#t:Constr" title="Data.Data">Constr</a> <a href="src/Data.Data.html#toConstr" class="link">Source</a> <a href="#v:toConstr" class="selflink">#</a></p><p class="src"><a href="#v:dataTypeOf">dataTypeOf</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Data.html#t:DataType" title="Data.Data">DataType</a> <a href="src/Data.Data.html#dataTypeOf" class="link">Source</a> <a href="#v:dataTypeOf" class="selflink">#</a></p><p class="src"><a href="#v:dataCast1">dataCast1</a> :: <a href="Data-Typeable.html#t:Typeable" title="Data.Typeable">Typeable</a> t =&gt; (<span class="keyword">forall</span> d. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> d =&gt; c (t d)) -&gt; <a href="Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> (c (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)) <a href="src/Data.Data.html#dataCast1" class="link">Source</a> <a href="#v:dataCast1" class="selflink">#</a></p><p class="src"><a href="#v:dataCast2">dataCast2</a> :: <a href="Data-Typeable.html#t:Typeable" title="Data.Typeable">Typeable</a> t =&gt; (<span class="keyword">forall</span> d e. (<a href="Data-Data.html#t:Data" title="Data.Data">Data</a> d, <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> e) =&gt; c (t d e)) -&gt; <a href="Data-Maybe.html#t:Maybe" title="Data.Maybe">Maybe</a> (c (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)) <a href="src/Data.Data.html#dataCast2" class="link">Source</a> <a href="#v:dataCast2" class="selflink">#</a></p><p class="src"><a href="#v:gmapT">gmapT</a> :: (<span class="keyword">forall</span> b0. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> b0 =&gt; b0 -&gt; b0) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.Data.html#gmapT" class="link">Source</a> <a href="#v:gmapT" class="selflink">#</a></p><p class="src"><a href="#v:gmapQl">gmapQl</a> :: (r -&gt; r' -&gt; r) -&gt; r -&gt; (<span class="keyword">forall</span> d. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> d =&gt; d -&gt; r') -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; r <a href="src/Data.Data.html#gmapQl" class="link">Source</a> <a href="#v:gmapQl" class="selflink">#</a></p><p class="src"><a href="#v:gmapQr">gmapQr</a> :: <span class="keyword">forall</span> r r'. (r' -&gt; r -&gt; r) -&gt; r -&gt; (<span class="keyword">forall</span> d. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> d =&gt; d -&gt; r') -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; r <a href="src/Data.Data.html#gmapQr" class="link">Source</a> <a href="#v:gmapQr" class="selflink">#</a></p><p class="src"><a href="#v:gmapQ">gmapQ</a> :: (<span class="keyword">forall</span> d. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> d =&gt; d -&gt; u) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; [u] <a href="src/Data.Data.html#gmapQ" class="link">Source</a> <a href="#v:gmapQ" class="selflink">#</a></p><p class="src"><a href="#v:gmapQi">gmapQi</a> :: <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; (<span class="keyword">forall</span> d. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> d =&gt; d -&gt; u) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; u <a href="src/Data.Data.html#gmapQi" class="link">Source</a> <a href="#v:gmapQi" class="selflink">#</a></p><p class="src"><a href="#v:gmapM">gmapM</a> :: <a href="Prelude.html#t:Monad" title="Prelude">Monad</a> m =&gt; (<span class="keyword">forall</span> d. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> d =&gt; d -&gt; m d) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; m (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/Data.Data.html#gmapM" class="link">Source</a> <a href="#v:gmapM" class="selflink">#</a></p><p class="src"><a href="#v:gmapMp">gmapMp</a> :: <a href="Control-Monad.html#t:MonadPlus" title="Control.Monad">MonadPlus</a> m =&gt; (<span class="keyword">forall</span> d. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> d =&gt; d -&gt; m d) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; m (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/Data.Data.html#gmapMp" class="link">Source</a> <a href="#v:gmapMp" class="selflink">#</a></p><p class="src"><a href="#v:gmapMo">gmapMo</a> :: <a href="Control-Monad.html#t:MonadPlus" title="Control.Monad">MonadPlus</a> m =&gt; (<span class="keyword">forall</span> d. <a href="Data-Data.html#t:Data" title="Data.Data">Data</a> d =&gt; d -&gt; m d) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; m (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/Data.Data.html#gmapMo" class="link">Source</a> <a href="#v:gmapMo" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:IsString:21"></span> <a href="Data-String.html#t:IsString" title="Data.String">IsString</a> a =&gt; <a href="Data-String.html#t:IsString" title="Data.String">IsString</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.String.html#line-90" class="link">Source</a> <a href="#t:IsString" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:IsString:21"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-String.html">Data.String</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:fromString">fromString</a> :: <a href="Data-String.html#t:String" title="Data.String">String</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/Data.String.html#fromString" class="link">Source</a> <a href="#v:fromString" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Storable:22"></span> <a href="Foreign-Storable.html#t:Storable" title="Foreign.Storable">Storable</a> a =&gt; <a href="Foreign-Storable.html#t:Storable" title="Foreign.Storable">Storable</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-58" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Storable:22"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:sizeOf">sizeOf</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/Foreign.Storable.html#sizeOf" class="link">Source</a> <a href="#v:sizeOf" class="selflink">#</a></p><p class="src"><a href="#v:alignment">alignment</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/Foreign.Storable.html#alignment" class="link">Source</a> <a href="#v:alignment" class="selflink">#</a></p><p class="src"><a href="#v:peekElemOff">peekElemOff</a> :: <a href="Foreign-Ptr.html#t:Ptr" title="Foreign.Ptr">Ptr</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="System-IO.html#t:IO" title="System.IO">IO</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/Foreign.Storable.html#peekElemOff" class="link">Source</a> <a href="#v:peekElemOff" class="selflink">#</a></p><p class="src"><a href="#v:pokeElemOff">pokeElemOff</a> :: <a href="Foreign-Ptr.html#t:Ptr" title="Foreign.Ptr">Ptr</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="System-IO.html#t:IO" title="System.IO">IO</a> () <a href="src/Foreign.Storable.html#pokeElemOff" class="link">Source</a> <a href="#v:pokeElemOff" class="selflink">#</a></p><p class="src"><a href="#v:peekByteOff">peekByteOff</a> :: <a href="Foreign-Ptr.html#t:Ptr" title="Foreign.Ptr">Ptr</a> b0 -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="System-IO.html#t:IO" title="System.IO">IO</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/Foreign.Storable.html#peekByteOff" class="link">Source</a> <a href="#v:peekByteOff" class="selflink">#</a></p><p class="src"><a href="#v:pokeByteOff">pokeByteOff</a> :: <a href="Foreign-Ptr.html#t:Ptr" title="Foreign.Ptr">Ptr</a> b0 -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="System-IO.html#t:IO" title="System.IO">IO</a> () <a href="src/Foreign.Storable.html#pokeByteOff" class="link">Source</a> <a href="#v:pokeByteOff" class="selflink">#</a></p><p class="src"><a href="#v:peek">peek</a> :: <a href="Foreign-Ptr.html#t:Ptr" title="Foreign.Ptr">Ptr</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; <a href="System-IO.html#t:IO" title="System.IO">IO</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/Foreign.Storable.html#peek" class="link">Source</a> <a href="#v:peek" class="selflink">#</a></p><p class="src"><a href="#v:poke">poke</a> :: <a href="Foreign-Ptr.html#t:Ptr" title="Foreign.Ptr">Ptr</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="System-IO.html#t:IO" title="System.IO">IO</a> () <a href="src/Foreign.Storable.html#poke" class="link">Source</a> <a href="#v:poke" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Monoid:23"></span> <a href="Data-Monoid.html#t:Monoid" title="Data.Monoid">Monoid</a> a =&gt; <a href="Data-Monoid.html#t:Monoid" title="Data.Monoid">Monoid</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-52" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Monoid:23"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:mempty">mempty</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Base.html#mempty" class="link">Source</a> <a href="#v:mempty" class="selflink">#</a></p><p class="src"><a href="#v:mappend">mappend</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Base.html#mappend" class="link">Source</a> <a href="#v:mappend" class="selflink">#</a></p><p class="src"><a href="#v:mconcat">mconcat</a> :: [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Base.html#mconcat" class="link">Source</a> <a href="#v:mconcat" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Semigroup:24"></span> <a href="Prelude.html#t:Semigroup" title="Prelude">Semigroup</a> a =&gt; <a href="Prelude.html#t:Semigroup" title="Prelude">Semigroup</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-51" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Semigroup:24"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-60--62-">(&lt;&gt;)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Base.html#%3C%3E" class="link">Source</a> <a href="#v:-60--62-" class="selflink">#</a></p><p class="src"><a href="#v:sconcat">sconcat</a> :: <a href="Data-List-NonEmpty.html#t:NonEmpty" title="Data.List.NonEmpty">NonEmpty</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Base.html#sconcat" class="link">Source</a> <a href="#v:sconcat" class="selflink">#</a></p><p class="src"><a href="#v:stimes">stimes</a> :: <a href="Prelude.html#t:Integral" title="Prelude">Integral</a> b0 =&gt; b0 -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Base.html#stimes" class="link">Source</a> <a href="#v:stimes" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Bounded:25"></span> <a href="Prelude.html#t:Bounded" title="Prelude">Bounded</a> a =&gt; <a href="Prelude.html#t:Bounded" title="Prelude">Bounded</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-41" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Bounded:25"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:minBound">minBound</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Enum.html#minBound" class="link">Source</a> <a href="#v:minBound" class="selflink">#</a></p><p class="src"><a href="#v:maxBound">maxBound</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Enum.html#maxBound" class="link">Source</a> <a href="#v:maxBound" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Enum:26"></span> <a href="Prelude.html#t:Enum" title="Prelude">Enum</a> a =&gt; <a href="Prelude.html#t:Enum" title="Prelude">Enum</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-42" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Enum:26"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:succ">succ</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Enum.html#succ" class="link">Source</a> <a href="#v:succ" class="selflink">#</a></p><p class="src"><a href="#v:pred">pred</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Enum.html#pred" class="link">Source</a> <a href="#v:pred" class="selflink">#</a></p><p class="src"><a href="#v:toEnum">toEnum</a> :: <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Enum.html#toEnum" class="link">Source</a> <a href="#v:toEnum" class="selflink">#</a></p><p class="src"><a href="#v:fromEnum">fromEnum</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/GHC.Enum.html#fromEnum" class="link">Source</a> <a href="#v:fromEnum" class="selflink">#</a></p><p class="src"><a href="#v:enumFrom">enumFrom</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] <a href="src/GHC.Enum.html#enumFrom" class="link">Source</a> <a href="#v:enumFrom" class="selflink">#</a></p><p class="src"><a href="#v:enumFromThen">enumFromThen</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] <a href="src/GHC.Enum.html#enumFromThen" class="link">Source</a> <a href="#v:enumFromThen" class="selflink">#</a></p><p class="src"><a href="#v:enumFromTo">enumFromTo</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] <a href="src/GHC.Enum.html#enumFromTo" class="link">Source</a> <a href="#v:enumFromTo" class="selflink">#</a></p><p class="src"><a href="#v:enumFromThenTo">enumFromThenTo</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] <a href="src/GHC.Enum.html#enumFromThenTo" class="link">Source</a> <a href="#v:enumFromThenTo" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Floating:27"></span> <a href="Numeric.html#t:Floating" title="Numeric">Floating</a> a =&gt; <a href="Numeric.html#t:Floating" title="Numeric">Floating</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-45" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Floating:27"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:pi">pi</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#pi" class="link">Source</a> <a href="#v:pi" class="selflink">#</a></p><p class="src"><a href="#v:exp">exp</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#exp" class="link">Source</a> <a href="#v:exp" class="selflink">#</a></p><p class="src"><a href="#v:log">log</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#log" class="link">Source</a> <a href="#v:log" class="selflink">#</a></p><p class="src"><a href="#v:sqrt">sqrt</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#sqrt" class="link">Source</a> <a href="#v:sqrt" class="selflink">#</a></p><p class="src"><a href="#v:-42--42-">(**)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#%2A%2A" class="link">Source</a> <a href="#v:-42--42-" class="selflink">#</a></p><p class="src"><a href="#v:logBase">logBase</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#logBase" class="link">Source</a> <a href="#v:logBase" class="selflink">#</a></p><p class="src"><a href="#v:sin">sin</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#sin" class="link">Source</a> <a href="#v:sin" class="selflink">#</a></p><p class="src"><a href="#v:cos">cos</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#cos" class="link">Source</a> <a href="#v:cos" class="selflink">#</a></p><p class="src"><a href="#v:tan">tan</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#tan" class="link">Source</a> <a href="#v:tan" class="selflink">#</a></p><p class="src"><a href="#v:asin">asin</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#asin" class="link">Source</a> <a href="#v:asin" class="selflink">#</a></p><p class="src"><a href="#v:acos">acos</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#acos" class="link">Source</a> <a href="#v:acos" class="selflink">#</a></p><p class="src"><a href="#v:atan">atan</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#atan" class="link">Source</a> <a href="#v:atan" class="selflink">#</a></p><p class="src"><a href="#v:sinh">sinh</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#sinh" class="link">Source</a> <a href="#v:sinh" class="selflink">#</a></p><p class="src"><a href="#v:cosh">cosh</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#cosh" class="link">Source</a> <a href="#v:cosh" class="selflink">#</a></p><p class="src"><a href="#v:tanh">tanh</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#tanh" class="link">Source</a> <a href="#v:tanh" class="selflink">#</a></p><p class="src"><a href="#v:asinh">asinh</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#asinh" class="link">Source</a> <a href="#v:asinh" class="selflink">#</a></p><p class="src"><a href="#v:acosh">acosh</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#acosh" class="link">Source</a> <a href="#v:acosh" class="selflink">#</a></p><p class="src"><a href="#v:atanh">atanh</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#atanh" class="link">Source</a> <a href="#v:atanh" class="selflink">#</a></p><p class="src"><a href="#v:log1p">log1p</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#log1p" class="link">Source</a> <a href="#v:log1p" class="selflink">#</a></p><p class="src"><a href="#v:expm1">expm1</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#expm1" class="link">Source</a> <a href="#v:expm1" class="selflink">#</a></p><p class="src"><a href="#v:log1pexp">log1pexp</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#log1pexp" class="link">Source</a> <a href="#v:log1pexp" class="selflink">#</a></p><p class="src"><a href="#v:log1mexp">log1mexp</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#log1mexp" class="link">Source</a> <a href="#v:log1mexp" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:RealFloat:28"></span> <a href="Prelude.html#t:RealFloat" title="Prelude">RealFloat</a> a =&gt; <a href="Prelude.html#t:RealFloat" title="Prelude">RealFloat</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-57" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:RealFloat:28"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:floatRadix">floatRadix</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Prelude.html#t:Integer" title="Prelude">Integer</a> <a href="src/GHC.Float.html#floatRadix" class="link">Source</a> <a href="#v:floatRadix" class="selflink">#</a></p><p class="src"><a href="#v:floatDigits">floatDigits</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/GHC.Float.html#floatDigits" class="link">Source</a> <a href="#v:floatDigits" class="selflink">#</a></p><p class="src"><a href="#v:floatRange">floatRange</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; (<a href="Data-Int.html#t:Int" title="Data.Int">Int</a>, <a href="Data-Int.html#t:Int" title="Data.Int">Int</a>) <a href="src/GHC.Float.html#floatRange" class="link">Source</a> <a href="#v:floatRange" class="selflink">#</a></p><p class="src"><a href="#v:decodeFloat">decodeFloat</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; (<a href="Prelude.html#t:Integer" title="Prelude">Integer</a>, <a href="Data-Int.html#t:Int" title="Data.Int">Int</a>) <a href="src/GHC.Float.html#decodeFloat" class="link">Source</a> <a href="#v:decodeFloat" class="selflink">#</a></p><p class="src"><a href="#v:encodeFloat">encodeFloat</a> :: <a href="Prelude.html#t:Integer" title="Prelude">Integer</a> -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#encodeFloat" class="link">Source</a> <a href="#v:encodeFloat" class="selflink">#</a></p><p class="src"><a href="#v:exponent">exponent</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/GHC.Float.html#exponent" class="link">Source</a> <a href="#v:exponent" class="selflink">#</a></p><p class="src"><a href="#v:significand">significand</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#significand" class="link">Source</a> <a href="#v:significand" class="selflink">#</a></p><p class="src"><a href="#v:scaleFloat">scaleFloat</a> :: <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#scaleFloat" class="link">Source</a> <a href="#v:scaleFloat" class="selflink">#</a></p><p class="src"><a href="#v:isNaN">isNaN</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/GHC.Float.html#isNaN" class="link">Source</a> <a href="#v:isNaN" class="selflink">#</a></p><p class="src"><a href="#v:isInfinite">isInfinite</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/GHC.Float.html#isInfinite" class="link">Source</a> <a href="#v:isInfinite" class="selflink">#</a></p><p class="src"><a href="#v:isDenormalized">isDenormalized</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/GHC.Float.html#isDenormalized" class="link">Source</a> <a href="#v:isDenormalized" class="selflink">#</a></p><p class="src"><a href="#v:isNegativeZero">isNegativeZero</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/GHC.Float.html#isNegativeZero" class="link">Source</a> <a href="#v:isNegativeZero" class="selflink">#</a></p><p class="src"><a href="#v:isIEEE">isIEEE</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/GHC.Float.html#isIEEE" class="link">Source</a> <a href="#v:isIEEE" class="selflink">#</a></p><p class="src"><a href="#v:atan2">atan2</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Float.html#atan2" class="link">Source</a> <a href="#v:atan2" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Generic:29"></span> <a href="GHC-Generics.html#t:Generic" title="GHC.Generics">Generic</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-47" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc empty">&nbsp;</td></tr><tr><td colspan="2"><details id="i:id:Const:Generic:29"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs associated-types"><p class="caption">Associated Types</p><p class="src"><span class="keyword">type</span> <a href="GHC-Generics.html#t:Rep" title="GHC.Generics">Rep</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) :: <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a> <a href="src/GHC.Generics.html#Rep" class="link">Source</a> <a href="#t:Rep" class="selflink">#</a></p></div> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:from">from</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="GHC-Generics.html#t:Rep" title="GHC.Generics">Rep</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) x <a href="src/GHC.Generics.html#from" class="link">Source</a> <a href="#v:from" class="selflink">#</a></p><p class="src"><a href="#v:to">to</a> :: <a href="GHC-Generics.html#t:Rep" title="GHC.Generics">Rep</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) x -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Generics.html#to" class="link">Source</a> <a href="#v:to" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Ix:30"></span> <a href="Data-Ix.html#t:Ix" title="Data.Ix">Ix</a> a =&gt; <a href="Data-Ix.html#t:Ix" title="Data.Ix">Ix</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-50" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Ix:30"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:range">range</a> :: (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b, <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] <a href="src/GHC.Ix.html#range" class="link">Source</a> <a href="#v:range" class="selflink">#</a></p><p class="src"><a href="#v:index">index</a> :: (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b, <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/GHC.Ix.html#index" class="link">Source</a> <a href="#v:index" class="selflink">#</a></p><p class="src"><a href="#v:unsafeIndex">unsafeIndex</a> :: (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b, <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/GHC.Ix.html#unsafeIndex" class="link">Source</a> <a href="#v:unsafeIndex" class="selflink">#</a></p><p class="src"><a href="#v:inRange">inRange</a> :: (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b, <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="src/GHC.Ix.html#inRange" class="link">Source</a> <a href="#v:inRange" class="selflink">#</a></p><p class="src"><a href="#v:rangeSize">rangeSize</a> :: (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b, <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/GHC.Ix.html#rangeSize" class="link">Source</a> <a href="#v:rangeSize" class="selflink">#</a></p><p class="src"><a href="#v:unsafeRangeSize">unsafeRangeSize</a> :: (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b, <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) -&gt; <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> <a href="src/GHC.Ix.html#unsafeRangeSize" class="link">Source</a> <a href="#v:unsafeRangeSize" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Num:31"></span> <a href="Prelude.html#t:Num" title="Prelude">Num</a> a =&gt; <a href="Prelude.html#t:Num" title="Prelude">Num</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-53" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Num:31"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-43-">(+)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Num.html#%2B" class="link">Source</a> <a href="#v:-43-" class="selflink">#</a></p><p class="src"><a href="#v:-45-">(-)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Num.html#-" class="link">Source</a> <a href="#v:-45-" class="selflink">#</a></p><p class="src"><a href="#v:-42-">(*)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Num.html#%2A" class="link">Source</a> <a href="#v:-42-" class="selflink">#</a></p><p class="src"><a href="#v:negate">negate</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Num.html#negate" class="link">Source</a> <a href="#v:negate" class="selflink">#</a></p><p class="src"><a href="#v:abs">abs</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Num.html#abs" class="link">Source</a> <a href="#v:abs" class="selflink">#</a></p><p class="src"><a href="#v:signum">signum</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Num.html#signum" class="link">Source</a> <a href="#v:signum" class="selflink">#</a></p><p class="src"><a href="#v:fromInteger">fromInteger</a> :: <a href="Prelude.html#t:Integer" title="Prelude">Integer</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Num.html#fromInteger" class="link">Source</a> <a href="#v:fromInteger" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Read:32"></span> <a href="Text-Read.html#t:Read" title="Text.Read">Read</a> a =&gt; <a href="Text-Read.html#t:Read" title="Text.Read">Read</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-65" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p>This instance would be equivalent to the derived instances of the
 <code><a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a></code> newtype if the <code><a href="Data-Functor-Const.html#v:getConst" title="Data.Functor.Const">getConst</a></code> field were removed</p><p><em>Since: base-4.8.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Read:32"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:readsPrec">readsPrec</a> :: <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/GHC.Read.html#readsPrec" class="link">Source</a> <a href="#v:readsPrec" class="selflink">#</a></p><p class="src"><a href="#v:readList">readList</a> :: <a href="Text-ParserCombinators-ReadP.html#t:ReadS" title="Text.ParserCombinators.ReadP">ReadS</a> [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] <a href="src/GHC.Read.html#readList" class="link">Source</a> <a href="#v:readList" class="selflink">#</a></p><p class="src"><a href="#v:readPrec">readPrec</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/GHC.Read.html#readPrec" class="link">Source</a> <a href="#v:readPrec" class="selflink">#</a></p><p class="src"><a href="#v:readListPrec">readListPrec</a> :: <a href="Text-ParserCombinators-ReadPrec.html#t:ReadPrec" title="Text.ParserCombinators.ReadPrec">ReadPrec</a> [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] <a href="src/GHC.Read.html#readListPrec" class="link">Source</a> <a href="#v:readListPrec" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Fractional:33"></span> <a href="Prelude.html#t:Fractional" title="Prelude">Fractional</a> a =&gt; <a href="Prelude.html#t:Fractional" title="Prelude">Fractional</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-46" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Fractional:33"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-47-">(/)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Real.html#%2F" class="link">Source</a> <a href="#v:-47-" class="selflink">#</a></p><p class="src"><a href="#v:recip">recip</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Real.html#recip" class="link">Source</a> <a href="#v:recip" class="selflink">#</a></p><p class="src"><a href="#v:fromRational">fromRational</a> :: <a href="Prelude.html#t:Rational" title="Prelude">Rational</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Real.html#fromRational" class="link">Source</a> <a href="#v:fromRational" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Integral:34"></span> <a href="Prelude.html#t:Integral" title="Prelude">Integral</a> a =&gt; <a href="Prelude.html#t:Integral" title="Prelude">Integral</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-49" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Integral:34"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:quot">quot</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Real.html#quot" class="link">Source</a> <a href="#v:quot" class="selflink">#</a></p><p class="src"><a href="#v:rem">rem</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Real.html#rem" class="link">Source</a> <a href="#v:rem" class="selflink">#</a></p><p class="src"><a href="#v:div">div</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Real.html#div" class="link">Source</a> <a href="#v:div" class="selflink">#</a></p><p class="src"><a href="#v:mod">mod</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="src/GHC.Real.html#mod" class="link">Source</a> <a href="#v:mod" class="selflink">#</a></p><p class="src"><a href="#v:quotRem">quotRem</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b, <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/GHC.Real.html#quotRem" class="link">Source</a> <a href="#v:quotRem" class="selflink">#</a></p><p class="src"><a href="#v:divMod">divMod</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b, <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/GHC.Real.html#divMod" class="link">Source</a> <a href="#v:divMod" class="selflink">#</a></p><p class="src"><a href="#v:toInteger">toInteger</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Prelude.html#t:Integer" title="Prelude">Integer</a> <a href="src/GHC.Real.html#toInteger" class="link">Source</a> <a href="#v:toInteger" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Real:35"></span> <a href="Prelude.html#t:Real" title="Prelude">Real</a> a =&gt; <a href="Prelude.html#t:Real" title="Prelude">Real</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-55" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Real:35"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:toRational">toRational</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Prelude.html#t:Rational" title="Prelude">Rational</a> <a href="src/GHC.Real.html#toRational" class="link">Source</a> <a href="#v:toRational" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:RealFrac:36"></span> <a href="Prelude.html#t:RealFrac" title="Prelude">RealFrac</a> a =&gt; <a href="Prelude.html#t:RealFrac" title="Prelude">RealFrac</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-56" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:RealFrac:36"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:properFraction">properFraction</a> :: <a href="Prelude.html#t:Integral" title="Prelude">Integral</a> b0 =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; (b0, <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) <a href="src/GHC.Real.html#properFraction" class="link">Source</a> <a href="#v:properFraction" class="selflink">#</a></p><p class="src"><a href="#v:truncate">truncate</a> :: <a href="Prelude.html#t:Integral" title="Prelude">Integral</a> b0 =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; b0 <a href="src/GHC.Real.html#truncate" class="link">Source</a> <a href="#v:truncate" class="selflink">#</a></p><p class="src"><a href="#v:round">round</a> :: <a href="Prelude.html#t:Integral" title="Prelude">Integral</a> b0 =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; b0 <a href="src/GHC.Real.html#round" class="link">Source</a> <a href="#v:round" class="selflink">#</a></p><p class="src"><a href="#v:ceiling">ceiling</a> :: <a href="Prelude.html#t:Integral" title="Prelude">Integral</a> b0 =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; b0 <a href="src/GHC.Real.html#ceiling" class="link">Source</a> <a href="#v:ceiling" class="selflink">#</a></p><p class="src"><a href="#v:floor">floor</a> :: <a href="Prelude.html#t:Integral" title="Prelude">Integral</a> b0 =&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; b0 <a href="src/GHC.Real.html#floor" class="link">Source</a> <a href="#v:floor" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Show:37"></span> <a href="Text-Show.html#t:Show" title="Text.Show">Show</a> a =&gt; <a href="Text-Show.html#t:Show" title="Text.Show">Show</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-73" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p>This instance would be equivalent to the derived instances of the
 <code><a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a></code> newtype if the <code><a href="Data-Functor-Const.html#v:getConst" title="Data.Functor.Const">getConst</a></code> field were removed</p><p><em>Since: base-4.8.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Show:37"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:showsPrec">showsPrec</a> :: <a href="Data-Int.html#t:Int" title="Data.Int">Int</a> -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="src/GHC.Show.html#showsPrec" class="link">Source</a> <a href="#v:showsPrec" class="selflink">#</a></p><p class="src"><a href="#v:show">show</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-String.html#t:String" title="Data.String">String</a> <a href="src/GHC.Show.html#show" class="link">Source</a> <a href="#v:show" class="selflink">#</a></p><p class="src"><a href="#v:showList">showList</a> :: [<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b] -&gt; <a href="Text-Show.html#t:ShowS" title="Text.Show">ShowS</a> <a href="src/GHC.Show.html#showList" class="link">Source</a> <a href="#v:showList" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Eq:38"></span> <a href="Data-Eq.html#t:Eq" title="Data.Eq">Eq</a> a =&gt; <a href="Data-Eq.html#t:Eq" title="Data.Eq">Eq</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-43" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Eq:38"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:-61--61-">(==)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="../ghc-prim/src/GHC.Classes.html#%3D%3D" class="link">Source</a> <a href="#v:-61--61-" class="selflink">#</a></p><p class="src"><a href="#v:-47--61-">(/=)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="../ghc-prim/src/GHC.Classes.html#%2F%3D" class="link">Source</a> <a href="#v:-47--61-" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Ord:39"></span> <a href="Data-Ord.html#t:Ord" title="Data.Ord">Ord</a> a =&gt; <a href="Data-Ord.html#t:Ord" title="Data.Ord">Ord</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-54" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Ord:39"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="subs methods"><p class="caption">Methods</p><p class="src"><a href="#v:compare">compare</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Ord.html#t:Ordering" title="Data.Ord">Ordering</a> <a href="../ghc-prim/src/GHC.Classes.html#compare" class="link">Source</a> <a href="#v:compare" class="selflink">#</a></p><p class="src"><a href="#v:-60-">(&lt;)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="../ghc-prim/src/GHC.Classes.html#%3C" class="link">Source</a> <a href="#v:-60-" class="selflink">#</a></p><p class="src"><a href="#v:-60--61-">(&lt;=)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="../ghc-prim/src/GHC.Classes.html#%3C%3D" class="link">Source</a> <a href="#v:-60--61-" class="selflink">#</a></p><p class="src"><a href="#v:-62-">(&gt;)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="../ghc-prim/src/GHC.Classes.html#%3E" class="link">Source</a> <a href="#v:-62-" class="selflink">#</a></p><p class="src"><a href="#v:-62--61-">(&gt;=)</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Bool.html#t:Bool" title="Data.Bool">Bool</a> <a href="../ghc-prim/src/GHC.Classes.html#%3E%3D" class="link">Source</a> <a href="#v:-62--61-" class="selflink">#</a></p><p class="src"><a href="#v:max">max</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="../ghc-prim/src/GHC.Classes.html#max" class="link">Source</a> <a href="#v:max" class="selflink">#</a></p><p class="src"><a href="#v:min">min</a> :: <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b -&gt; <a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b <a href="../ghc-prim/src/GHC.Classes.html#min" class="link">Source</a> <a href="#v:min" class="selflink">#</a></p></div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Rep1:40"></span> <span class="keyword">type</span> <a href="GHC-Generics.html#t:Rep1" title="GHC.Generics">Rep1</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a :: k -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>)</span> <a href="src/Data.Functor.Const.html#line-48" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Rep1:40"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="src"><span class="keyword">type</span> <a href="GHC-Generics.html#t:Rep1" title="GHC.Generics">Rep1</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a :: k -&gt; <a href="Data-Kind.html#t:Type" title="Data.Kind">Type</a>) = <a href="GHC-Generics.html#t:D1" title="GHC.Generics">D1</a> ('<a href="GHC-Generics.html#v:MetaData" title="GHC.Generics">MetaData</a> &quot;Const&quot; &quot;Data.Functor.Const&quot; &quot;base&quot; '<a href="Data-Bool.html#v:True" title="Data.Bool">True</a>) (<a href="GHC-Generics.html#t:C1" title="GHC.Generics">C1</a> ('<a href="GHC-Generics.html#v:MetaCons" title="GHC.Generics">MetaCons</a> &quot;Const&quot; '<a href="GHC-Generics.html#v:PrefixI" title="GHC.Generics">PrefixI</a> '<a href="Data-Bool.html#v:True" title="Data.Bool">True</a>) (<a href="GHC-Generics.html#t:S1" title="GHC.Generics">S1</a> ('<a href="GHC-Generics.html#v:MetaSel" title="GHC.Generics">MetaSel</a> ('<a href="Data-Maybe.html#v:Just" title="Data.Maybe">Just</a> &quot;getConst&quot;) '<a href="GHC-Generics.html#v:NoSourceUnpackedness" title="GHC.Generics">NoSourceUnpackedness</a> '<a href="GHC-Generics.html#v:NoSourceStrictness" title="GHC.Generics">NoSourceStrictness</a> '<a href="GHC-Generics.html#v:DecidedLazy" title="GHC.Generics">DecidedLazy</a>) (<a href="GHC-Generics.html#t:Rec0" title="GHC.Generics">Rec0</a> a)))</div></details></td></tr><tr><td class="src clearfix"><span class="inst-left"><span class="instance details-toggle-control details-toggle" data-details-id="i:id:Const:Rep:41"></span> <span class="keyword">type</span> <a href="GHC-Generics.html#t:Rep" title="GHC.Generics">Rep</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b)</span> <a href="src/Data.Functor.Const.html#line-47" class="link">Source</a> <a href="#t:Const" class="selflink">#</a></td><td class="doc"><p><em>Since: base-4.9.0.0</em></p></td></tr><tr><td colspan="2"><details id="i:id:Const:Rep:41"><summary class="hide-when-js-enabled">Instance details</summary><p>Defined in <a href="Data-Functor-Const.html">Data.Functor.Const</a></p> <div class="src"><span class="keyword">type</span> <a href="GHC-Generics.html#t:Rep" title="GHC.Generics">Rep</a> (<a href="Data-Functor-Const.html#t:Const" title="Data.Functor.Const">Const</a> a b) = <a href="GHC-Generics.html#t:D1" title="GHC.Generics">D1</a> ('<a href="GHC-Generics.html#v:MetaData" title="GHC.Generics">MetaData</a> &quot;Const&quot; &quot;Data.Functor.Const&quot; &quot;base&quot; '<a href="Data-Bool.html#v:True" title="Data.Bool">True</a>) (<a href="GHC-Generics.html#t:C1" title="GHC.Generics">C1</a> ('<a href="GHC-Generics.html#v:MetaCons" title="GHC.Generics">MetaCons</a> &quot;Const&quot; '<a href="GHC-Generics.html#v:PrefixI" title="GHC.Generics">PrefixI</a> '<a href="Data-Bool.html#v:True" title="Data.Bool">True</a>) (<a href="GHC-Generics.html#t:S1" title="GHC.Generics">S1</a> ('<a href="GHC-Generics.html#v:MetaSel" title="GHC.Generics">MetaSel</a> ('<a href="Data-Maybe.html#v:Just" title="Data.Maybe">Just</a> &quot;getConst&quot;) '<a href="GHC-Generics.html#v:NoSourceUnpackedness" title="GHC.Generics">NoSourceUnpackedness</a> '<a href="GHC-Generics.html#v:NoSourceStrictness" title="GHC.Generics">NoSourceStrictness</a> '<a href="GHC-Generics.html#v:DecidedLazy" title="GHC.Generics">DecidedLazy</a>) (<a href="GHC-Generics.html#t:Rec0" title="GHC.Generics">Rec0</a> a)))</div></details></td></tr></table></details></div></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.25.1</p></div></body></html>